Contract-orientented System Design & Speciication 1 High-level System Design & Speciication
نویسنده
چکیده
This paper is mainly based on the work done in the ESPRIT project ECIP2, Ref. #2072, on high-level system speci cation [LEB91, MUE90]. The goal within this work was rst to enlighten the main streams and activities during the very early phases of contract-oriented high-level system design and speci cation. Second, based on the rst evaluation, the applicability of the IEEE standard hardware description language VHDL should be studied. In this paper I will only concentrate on the rst topic and on applicable standards.
منابع مشابه
Synthesizable Vhdl Code Generation from Data Flow Graph
This paper discusses how we generate a VHDL code for a DSP application described in a data ow graph(DFG). Because the generated VHDL code contains only synthesizable constructs and implements details of control logics we can easily transform it into a running hardware module using logic synthesis tools. This facility is very useful for DFG based high level system design tools including our code...
متن کاملSystem Level Design for System on a
We present the systems requirements generation and executable speciication capture of a single chip LAN Adapter for communicating using the IEEE 1394 Serial Bus Protocol. The requirements generation starts with high level performance simulation and then passes to an executable speciication suitable for implementation using a hardware/software co-design tool. The reuse of pre-existing components...
متن کاملIndiana University Computer Science Department toward a Basis for Protocol Speciication and Process Decomposition toward a Basis for Protocol Speciication and Process Decomposition
In a formalism of top-down design, we consider the decomposition of behavioral speci-cations into interacting sequential components. The higher level of description speciies the operations to be performed in a major computation step. The goal is to incorporate a given interface speciication in a lower-level speciication that accounts for interactions with and among sequential components. This c...
متن کاملSpeciication and Design of Embedded Software/hardware Systems
System speciication and design consists of describing a system's desired functionality, and of mapping that functionality for implementation on a set of system components, such as processors, ASIC's, memories, and buses. In this article, we describe the key problems of system speciication and design, including speciication capture, design exploration, hierarchical modeling, software and hardwar...
متن کاملComputer - Aided Design of a Generic Robot Controller HandlingReactivity and Real - Time Control
This paper describes an original system, Orccad, for the computer-aided design of robot controllers. Accessed by three diierent user levels (system, control and application), it proposes a coherent approach from a high level speciication down to its implementation, and ooers several tools for design, display and test. Following a critical study of the main architectures reported through the lit...
متن کامل